In the current SAVARA tooling, the main functionality in the Service Oriented Design phase is the generation of BPMN2 diagrams. These diagrams can be used as guidance for the development teams that are implementing the individual services (i.e. as design documents) or as the basis for the development (i.e. by using the BPMN2 models as executable processes).

It is also possible to extend the generated BPMN2 diagrams to include service logic. However it should be noted that changes to the choreography or BPMN2 diagrams will not be synchronized/merged. In future versions of SAVARA it will be possible to formally check BPMN2 process models for conformance against a choreography model, and potentially synchronize differences in externally observable behaviour between them.

To generate the BPMN2 processes for a choreography, select the Savara->Generate->Service menu item from the context menu associated with the choreography, and then for each relevant participant choose the BPMN2 Process service type:

Once the "Ok" button has been pressed, separate projects will be created for each participant, containing the appropriate BPMN2 process for that participant. For example, the Store participant will have: